Drop the public profiler api
authorMatthias Clasen <mclasen@redhat.com>
Wed, 8 May 2019 16:58:11 +0000 (16:58 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 8 May 2019 17:00:26 +0000 (17:00 +0000)
commitb3ff4154ec1119feb759504ddef2412d12698865
tree4645f8bdbe020fd976c115fec09eaabfe304a356
parent879a0c118dc708c0b5ae3912ae51550305df5c27
Drop the public profiler api

I meant to do this before merging the profiler
support. Somehow the commit got lost.
docs/reference/gdk/gdk4-sections.txt
gdk/gdk.h